چکیده نخستین دانشمند مسلمانی که به شکل جدی به ساختارهای شرطی پرداخت ، « ابن سینا » بود. در واقع او مبتکرنظری? « قیاس اقترانی شرطی » است . پس از او کسانی چون« ارموی » ،« قطب رازی » و « خواجه نصیر طوسی » این بحث را ادامه دادند .تحقیق حاضردر پی این است که نشان دهد ابن سینا و شارحان وی تا چه حد توانسته اند ساختار معتبر و منسجمی از استدلال های شرطی ارائه نمایند.در این پژوهش سعی شده با مطالع? کتابه...

چکیده در تاریخ منطق قدیم، «ابن سینا» اولین منطق دانی است که به قیاس های اقترانی شرطی پرداخته است و به همین جهت می توان وی را به عنوان مبدع این قیاس ها نامید. هرچند توسیع و تکمیل بحث توسط شاگردان و پیروان وی در «منطق سینوی» صورت گرفته است. در پژوهش حاضر به قیاس های اقترانی متصله ـ متصله که به عنوان یک قسم از این قیاس ها مورد توجه قرار می گیرد پرداخته شده و در ضمن مقایسه ای میان منطق دانان در ای...

ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه‌ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف‌نظری دیده نمی‌شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می‌باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می‌شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق‌دانان قبل اثیر الدین ابهری را در بر می‌گیرد ...

منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...

منطق دانان مسلمان برای توجیه استدلالهای ساده ای ( مانند قیاس مساوات ) دچار گرفتاریهایی شده اند که این گرفتاریها از التزام آنها به قیاس حملی نشات گرفته است ناتوانی منطق قدیم در این زمینه از ناحیه نسبت به ماهی نسبت نیست یعنی اینگونه نیست که منطق قدیم به این دلیل از اثبات استدلالهای حاوی نسبت ناتوان باشد که دارای نسبت هستند بلکه مشکل اصلی منطق قدیم همان اتکا به تحلیل موضوع محمولی گزاره و عطف توجه ...

در این مقاله، تلاش‌های منطق‌دانان دورۀ اسلامی در تبیین رابطۀ میان دو بخش قیاسی و غیرقیاسی‌ِ قیاس خلف، مورد بررسی قرار می‌گیرند و با نگاه به آثار شارحان یونانی ارسطو مانند اسکندر افرودیسی و فیلوپونوس و اشاره به ناتوانی آنها در تبیین سخنان ارسطو در تحلیل اوّل، دو رویکرد کلی در این زمینۀ معرفی می‌شود. در رویکرد نخست که از سوی افضل‌الدین مرقی ارائه گردیده، رابطۀ میان دو بخش قیاسی و غیرقیاسیِ قیاس خلف ...

شیخ اشراق با بیان تحییل همه قضّایای شرطی، همه حملیهای سالبه و همه حملی های جزئیصه به کلیه و همه میجهات غیر ضروری به میجبه کلیه ضروریه مدعی منطق اشصراقی در حصیز ه منطق صیرت است. او با روش افتراض، تمام ضروب جزئیه را بصه کلیصه و بصا روش عصدول ، تمام سالبه ها را به میجبه معدوله و با روش اشراب میجهات در محمیل تمام میجهصات را بصه ضروریه بر گرداند. طبق این روش هر شکلی تنها یک ضرب بیشصتر نخیاهصد داشصت. ...

پارادوکس کَرول بنیادی‌ترین مفهوم منطق، یعنی مفهوم استنتاج را به چالش می‌کشد و چنین می‌نمایاند که در هیچ استنتاجی نمی‌توان از مقدّمات به نتیجه رسید. مقاله‌ی پیش رو این پارادوکس را بر سه اندیشمند بزرگ، ویتگنشتاین، ابن‌سینا، و خواجه نصیر، عرضه می‌کند و می‌کوشد تا راه‌حلّی را از سخنان آنان فرا چنگ آورد. ویتگنشتاین از یک وضع مقدّم «بیان‌ناپذیر» ولی «نشان‌دادنی» در همه‌ی استنتاج‌ها سخن می‌گوید که سرانجام...

رگه هایی از منطق گزاره ‏ها را در آثار ارسطو می توان دید. با این حال، او شیفته آموزه قیاس حملی است و قیاس های شرطی را اگرچه تحویل ناپذیر، ولی نیازمند به آن‏ها می شمارد. پس از ارسطو، شاگردانش کوشیدند نظریه قیاس های شرطی را گسترش دهند با این حال کار چندانی از پیش نبردند. این رواقیان بودند که با نگاه ویژه به منطق گزاره های شرطی، نخستین دستگاه منطق گزاره ‏ها را پایه گذاری کردند. جایگاه بنیادین منطق ...